Nuprl Lemma : absval_sym
13,42
postcript
pdf
i
:
. |
i
| = |-
i
|
latex
Up
int
2
,
int
2
Definitions
P
Q
,
t
T
,
i
=
j
,
x
:
A
.
B
(
x
)
,
P
Q
,
P
Q
,
P
&
Q
,
P
Q
Lemmas
absval
eq
origin
i:
. |i| = |-i| 
i:. |i| = |-i| 
Q T
jx:A. B(x)
Q
Q Q